Inferenzprogrammierung

Inferenzprogrammierung,

 

eine Programmiertechnik bei Programmiersprachen, die Auswertungen mit den Mitteln der Inferenz unterstützen. Prolog ist eine solche Programmiersprache. Bei der Inferenzprogrammierung muss sich der Programmierer nicht um die einzelnen Lösungsschritte eines Problems kümmern, er beschreibt lediglich das Problem, woraus der Computer Schlüsse zieht und Lösungen zu erarbeiten sucht.